Sequential Diagnosis by Abstraction
نویسندگان
چکیده
منابع مشابه
Sequential Diagnosis by Abstraction
When a system behaves abnormally, sequential diagnosis takes a sequence of measurements of the system until the faults causing the abnormality are identified, and the goal is to reduce the diagnostic cost, defined here as the number of measurements. To propose measurement points, previous work employs a heuristic based on reducing the entropy over a computed set of diagnoses. This approach gene...
متن کاملProbabilistic Sequential Diagnosis by Compilation
When a system behaves abnormally, a diagnosis is a set of system components whose failure explains the abnormality. It is known that compiling the system model into deterministic decomposable negation normal form (d-DNNF) allows efficient computation of the complete set of diagnoses. We extend this approach to sequential diagnosis, where a sequence of measurements is taken to narrow down the se...
متن کاملFlexible Abstraction Heuristics for Optimal Sequential Planning
We describe an approach to deriving consistent heuristics for automated planning, based on explicit search in abstract state spaces. The key to managing complexity is interleaving composition of abstractions over different sets of state variables with abstraction of the partial composites. The approach is very general and can be instantiated in many different ways by following different abstrac...
متن کاملAutomatic Abstraction in Component-Based Diagnosis Driven by System Observability
The paper addresses the problem of automatic abstraction of component variables in the context of Model Based Diagnosis, in order to produce models capable of deriving fewer and more general diagnoses when the current observabil ity of the system is reduced. The notion of indiscriminability among faults of a set of compo nents is introduced and constitutes the basis for a formal definition of...
متن کاملQualitative Model Abstraction for Diagnosis
Building qualitative models is a crucial task for modelbased diagnosis. This paper discusses the techniques to automatically transform a quantitative model in CAD environment into a qualitative model, under the cases that the real numbered landmarks are known and unknown. With known landmarks, the abstraction is through the discretization process where the simulation data is discretized accordi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2011
ISSN: 1076-9757
DOI: 10.1613/jair.3296